Logic Synthesis for Established and Emerging Computing

Logic synthesis is an enabling technology to realize integrated computing systems, and it entails solving computationally intractable problems through a plurality of heuristic techniques. A recent push toward further formalization of synthesis problems has shown to be very useful toward both attempting to solve some logic problems exactly--which is computationally possible for instances of limited size today--as well as creating new and more powerful heuristics based on problem decomposition. Moreover, technological advances including nanodevices, optical computing, and quantum and quantum cellular computing require new and specific synthesis flows to assess feasibility and scalability. This review highlights recent progress in logic synthesis and optimization, describing models, data structures, and algorithms, with specific emphasis on both design quality and emerging technologies. Example applications and results of novel techniques to established and emerging technologies are reported

New data structures and algorithms for logic synthesis and verification

This book introduces new logic primitives for electronic design automation tools. The author approaches fundamental EDA problems from a different, unconventional perspective, in order to demonstrate the key role of rethinking EDA solutions in overcoming technological limitations of present and future technologies. The author discusses techniques that improve the efficiency of logic representation, manipulation and optimization tasks by taking advantage of majority and biconditional logic primitives. Readers will be enabled to accelerate formal methods by studying core properties of logic circuits and developing new frameworks for logic reasoning engines. · Provides a comprehensive, theoretical study on majority and biconditional logic for logic synthesis; · Updates the current scenario in synthesis and verification – especially in light of emerging technologies; · Demonstrates applications to CMOS technology and emerging technologies

Controllable polarity fet based arithmetic and differential logic

A logic gate with three inputs A, B, and C, and one output implementing a function MAJ(A,B,C)=A*B+B*C+A*C comprising two mutually exclusive transmission gates (TGs) connected in series, based on two parallel double-gate controllable polarity devices, a polarity of each being controlled by input A and a conduction being controlled by input B, or vice-versa, in opposite polarities, and that route either an input A or C from one side of the transmission gates to the output

Self-checking ripple-carry adder with Ambipolar Silicon NanoWire FET

The interacting boson model is extended by the inclusion of selective noncollective fermion states through the successive breaking of the correlated S and D pairs (s and d bosons). High angular momentum states are generated in this way, and their structure described by the coupling between fermions in broken pairs and the boson core. The model space of bosons and broken pairs contains also unphysical states that are generated automatically when fermions couple to angular momenta JF=0 and 2. A procedure is derived for the projection of spurious components from bases that contain one fermion pair. Spurious states are identified and an algorithm for their projection is constructed. The model is applied to the description of states in the spherical nucleus Sn116, and the weakly deformed nucleus Sr82. Calculated spectra and transition probabilities are compared with experimental data. It is found that projection of spurious states from the model space is essential for a description of excited states with low angular momenta above the yrast, while it is less important for high-spin states close to the yrast line